
from nox.lib.util import *
from se_dict import SeDict
from symbolic.instrumentation import whichBranch
python_ord = ord

def se_ord(obj):
    __foo = hasattr(obj, """__ord__""")
    if __foo:
        whichBranch(True)
        return obj.__ord__()
    else:
        whichBranch(False)
        return python_ord(obj)
ord = se_ord
debug_mac_addresses = [73588229205, 731581666730]
debug_mac_addresses = [801782107393, 4328719365]

def run(app, mac_addresses, **args):
    pkt = args["""packet"""]
    if (pkt.src == mac_addresses[0]):
        whichBranch(True)
        if (pkt.dst == mac_addresses[1]):
            whichBranch(True)
            pass
        else:
            whichBranch(False)
    else:
        whichBranch(False)
    app.packet_in_callback(**args)